https://alephzero.org/blog/the-button-game-how-was-it-made/